VDict mobile



discrete combinatorial constraint logic not found. Suggestions:

Charme
Constraint Handling In Prolog
Constraint Logic Programming
incremental constraint solver
CLP(R)
definitional constraint programming
Echidna
CLP(sigma*)
Programmable Array Logic
TEMPLOG